Modeling of Hardware and Software for specifying Hardware Abstraction Layers

International audienceIn this paper we describe a practical approach for modeling low level interfaces between software and hardware parts based on SysML operations. This method is intended to be applied for the development of drivers involved on what is classically called the “hardware abstraction layer” or the “basic software” which provide high level services for resources management on the top of a bare hardware platform. It is also an enabler for co-design processes since the design of hardware and software can be decoupled. In addition this approach is compatible with virtual prototyping technologies such as SystemC/TLM. An application to a simple a study case is provided for illustration purpose

USE OF MODELLING METHODS AND TOOLS IN AN INDUSTRIAL EMBEDDED SYSTEM PROJECT: WORKS AND FEEDBACK

International audienceIn a context where critical embedded systems are more and more difficult to design while ensuring high safety requirements and a non-ambiguous specification, Model Driven Engineering offers opportunities to address such challenges and to share information efficiently in a project.This paper presents the use of such an approach in an industrial software project concerning an embedded system for aeronautics. We describe the language used to model the software, a subset of UML/SysML allowing the representation of synchronous concepts and we focus on the functionalities used for the project in the TOPCASED framework, to derive substantial benefits from the modelling. We also present feedback from the project teams about the use of this approach in this kind of project